/* w3c-blue.css

   Copyright (c) 2005 W3C (MIT, ERCIM, Keio), All Rights Reserved.
   W3C liability, trademark, document use and software licensing
   rules apply, see:

   http://www.w3.org/Consortium/Legal/copyright-documents
   http://www.w3.org/Consortium/Legal/copyright-software
*/
// the 2 slashes are needed for the slanty image to be visible ??!!??

  body {
    position: relative;
    overflow: hidden;
  }

  div.slide {
    margin: 0;
    padding: 0;
    border-width: 0;
  }

  div.slide h1, div.slide h2 {
    padding-left: 0.5em;
    padding-right: 0;
    padding-top: 0.1em;
    margin-bottom: 0.8em;
    margin-top: -0.05em;
    margin-left: 2.5em;
    margin-right: 4em;
    color: white;
    height: 2.2em;
    line-height: 1.1em;
    background: #90A7D0;;
  }

  div.slide h1 a, div.slide h2 a {
     color: white;
  }

  div.slide h1 a:hover, div.slide h2 a:hover {
     color: blue;
  }

  #head-icon {
     margin-top: 0;
     margin-bottom: 0;
     margin-left: 0;
     margin-right: 1em;
     background:  #90A7D0;
     border-width: 0;
     z-index: 2;
     float: left;
  }

  #head-logo {
     margin: 0;
     margin-top: 0.25em;
     padding-top: 0.25em;
     padding-bottom: 0.2em;
     padding-left: 0;
     padding-right: 0;
     height: 3em;
     width: 6.2em;
     float: right;
     z-index: 2;
     background: #90A7D0;

  }
  #head-logo-fallback {
     margin: 0;
     padding: 0;
     margin-top: -0.5em;
     height: 4em;
     float: right;
     z-index: 2;
  }

  div.background {
     z-index: 1;
     position: absolute;
     vertical-align: bottom;
     left: 0;
     right: 0;
     top: 0;
     bottom: auto;
     height: 4em;
     padding: 0 0 0 0.2em;
     margin: 0 0 0 0;
     border-width: 0;
     background-color: #90A7D0;
  }

  div.background img {
     height: 4em;
  }

  div.background.slanty {
     z-index: 2;
     bottom: 0; 
     height: 100%;
     background: transparent;
  }

  div.background.slanty img { margin-top: 4em; width: 100%; height: 80% }

  /* the following makes the pre background translucent */
  /* opacity is a CSS3 property but supported by Mozilla family */
  /* filter is an IE specific feature that also requires width */
  div.slide.slanty pre {
     width: 95%;  /* needed for IE filter to work */
     opacity: .8;
     filter: alpha(opacity=80);
  }

  div.slide.cover {
    color: white;
    background-color: #90A7D0;
    padding-top: 0;
    padding-right: 0;
    padding-left: 3em;
    height: 100%;
  }

  div.slide.cover h1 {
    margin: 0;
    padding: 0.5em;
    color: white;
    height: auto;
  }

  div.slide.cover a {
    color: white;
  }

  div.slide.cover a:hover, div.slide.cover a:active {
    color: yellow; text-decoration: underline;
  }

  img.cover {
     margin: 0 0 0 0;
     float: right;
     padding-bottom: 4em;
     width: 50%;
     overflow: hidden;
  }

  p,pre,ul,ol,blockquote,h2,h3,h4,h5,h6 {
    margin-left: 1em;
    margin-right: 1em;
  }


  ul {
     margin: 0.5em 1.5em 0.5em 1.5em;
     padding: 0;
  }

  ol {
     margin: 0.5em 1.5em 0.5em 1.5em;
     padding: 0;
  }

  ul { list-style-type: square; }
  ul ul { list-style-type: disc; }
  ul ul ul { list-style-type: circle; }
  ul ul ul ul { list-style-type: disc; }

  ul li { 
     list-style: none;
     margin: 0.1em 0em 0.6em 0;
     padding: 0 0 0 40px;
     background: transparent url(bullet.png) no-repeat 5px 8px;
     line-height: 140%;
  }

  ol li { 
     margin: 0.1em 0em 0.6em 1.5em;
     padding: 0 0 0 0px;
     line-height: 140%;
  }

  li li { 
     font-size: 85%; 
     font-style: italic;
     list-style-type: disc;
     background: transparent;
     padding: 0 0 0 0;
  }
  li li li { 
     font-size: 85%; 
     font-style: normal;
     list-style-type: circle;
     background: transparent;
     padding: 0 0 0 0;
  }
  li li li li {
     list-style-type: disc;
     background: transparent;
     padding: 0 0 0 0;
  }

  div.slide pre { 
     color: purple;
     line-height: 110%;
     margin: 1em;
     padding-bottom: 0em;
     padding-top: 0.5em;
     padding-bottom: 0.5em;
     padding-left: 1em;
     background-color: #dbdcde;
     font-size: 80%;
     border: solid thin black;
  }

 img.withBorder {
     border: 2px solid #c60;
     padding: 4px;
 }
